Inheritance Using Contracts & Object Composition, 1997

نویسنده

  • Wolfgang Weck
چکیده

Normal class based code inheritance across component bound aries creates a dependency between the involved components To avoid this a speci cation of the inherited class must be part of the respective component s contract and the inheriting class must be speci ed with ref erence to this speci cation only With this inheritance can be replaced by object composition without sacri cing the possibility of static analysis yet being more exible

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Inheritance Using Contracts & Object

Normal class-based code inheritance across component boundaries creates a dependency between the involved components. To avoid this, a speciication of the inherited class must be part of the respective component's contract and the inheriting class must be speciied with reference to this speciication only. With this, inheritance can be replaced by object composition without sacriicing the possib...

متن کامل

Inheritance in Object Oriented Datalog : A Modular Logic Programming

Modularity is a special form of logic programming composition that allows incremental development and code reusability. It is natural to be considered as the formal framework to supply semantics to languages of logic programs (such as datalog) when the underlying data model is object oriented. We show here that a) for various interesting forms of inheritance, clean and natural semantics can ind...

متن کامل

An Object-Oriented Approach to Feature Interaction

In this paper, we address the feature interaction problem as a software composition problem. We show the applicability of a new programming style, feature-oriented programming (FOP), to typical feature interaction problems. FOP generalizes inheritance as in object-oriented programming and allows to compose objects with individual services from a set of features. In particular, we discuss except...

متن کامل

relations between different composition techniques

While composability is a much desired quality for software artefacts, there is no consensus whatsoever on what composability really is, nor on how it can be achieved. In this position paper we discuss three inhibitors of composability and hint at possible solutions. It is our conjecture that tackling these three problems is crucial to achieve true composability. 1. Inhibitor 1: Lack of a consis...

متن کامل

Extensible Code Contracts for Scala

Code contracts is a way to attribute the programs with formal the specifications, based on which the verification of those programs can be performed. The focus on software verification is increasing and the mainstream languages start to adopt this technique. Scala is an object oriented and functional programming language that is very expressive and has a strong type system. Hence, developing a ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1997